TSTP Solution File: SET576^7 by SRASS---0.1